21. Formal modeling and analysis of timed systems :
پدیدآورنده: Uli Fahrenberg, Stavros Tripakis (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,Temporal automata, Congresses.
رده :
QA76
.
9
.
C65
F67
2011
22. Foundations of Programming Languages /
پدیدآورنده: by Kent D. Lee.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Microprogramming.,Programming languages (Electronic computers),Computer science.,Computer Science.,Control Structures and Microprogramming.,Mathematical and Computational Engineering.,Microprogramming.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Computer science.,Microprogramming.,Programming languages (Electronic computers)
رده :
QA76
.
76
.
C65
23. Foundations of software science and computation structures :
پدیدآورنده: FOSSACS 2013 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013 ; Frank Pfenning (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logics and Meanings of Programs.,Programming Languages, Compilers, Interpreters.,Software engineering.
24. Fundamental Approaches to Software Engineering
پدیدآورنده: \ Alexander Egyed, Ina Schaefer (eds.).
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering -- Congresses.,Programming Languages, Compilers, Interpreters.,Logics and Meanings of Programs.,نرمافزار -- مهندسی -- کنگرهها ,مهندسی نرم افزار ,زبانهای برنامه نویسی
رده :
QA76
.
758
.
F44
2015
E-Book
,
25. Fundamentals of Java Programming /
پدیدآورنده: by Mitsunori Ogihara.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer Science.,Java.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Java
رده :
QA76
.
73
.
J38
27. Guide to Assembly Language
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer Science; Programming Languages, Compilers, Interpreters; Processor Architectures
28. Guide to Scientific Computing in C++ /
پدیدآورنده: by Joe Pitt-Francis, Jonathan Whiteley.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer Science.,Computer simulation.,Math Applications in Computer Science.,Numeric Computing.,Numerical analysis.,Programming languages (Electronic computers),Programming Languages, Compilers, Interpreters.,Programming Techniques.,Simulation and Modeling.,Software engineering.,Software Engineering.,Computer programming.,Computer science-- Mathematics.,Computer science.,Computer simulation.,Numerical analysis.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
6-76
.
66
29. HL7 for BizTalk /
پدیدآورنده: Howard Edidin, Vikas Bhardwaj
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Microsoft BizTalk,Microsoft BizTalk server,Medical records-- Data processing,Computer Science,Programming Languages, Compilers, Interpreters,Programming Techniques
رده :
QA76
.
9
.
C55
30. Implementation and application of functional language
پدیدآورنده: / Jurriaan Hage, Marco T. Morazaan (eds
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
رده :
QA76
.
62
.
I58
2010
31. Implementation and application of functional languages :
پدیدآورنده: Jurriaan Hage, Marco T. Morazán (eds)
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Functional programming languages, Congresses,Functional programming languages-- Congresses
رده :
QA76
.
62
.
I58
2010
33. Introducing Delphi ORM
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science. ; Programming Languages, Compilers, Interpreters. ;
34. Introducing Jakarta EE CDI
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer Science; Java; Programming Techniques; Programming Languages, Compilers, Interpreters
35. Iterating Infusion
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science. ; Software engineering. ; Programming Languages, Compilers, Interpreters. ;
36. Java in Two Semesters :
پدیدآورنده: by Quentin Charatan, Aaron Kans.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer System Implementation.,Control Structures and Microprogramming.,Java.,Programming Languages, Compilers, Interpreters.,Java (Programmiersprache)
رده :
QA76
.
7-76
.
73
37. Logic and Program Semantics
پدیدآورنده: edited by Robert L. Constable, Alexandra Silva
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science,Computer software,Logic design,Software engineering,Algorithm Analysis and Problem Complexity,Computer Science,Logics and Meanings of Programs,Mathematical Logic and Formal Languages,Programming Languages, Compilers, Interpreters,Programming Techniques,Software Engineering
38. Model and data engineering :
پدیدآورنده: El Hassan Abdelwahed, Ladjel Bellatreche, Mattéo Golfarelli, Dominique Méry, Carlos Ordonez (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer architecture, Congresses.,Database management, Congresses.,Knowledge management, Congresses.,Artificial Intelligence.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.,Artificial intelligence.,Computer architecture.,Computer programming / software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Database management.,Information retrieval.,Knowledge management.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
D3
